Well-formed formula - PDFSEARCH.IO - Document Search Engine

Well-formed formula
Results: 322

#	Item
51	Microsoft Word - ijita12-2.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Logical syntax Philosophy of language Model theory First-order logic Interpretation Predicate Substitution Well-formed formula Proposition Logic Propositional calculus Mathematical logic
52	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
53	Interpolation in SMTLIB 2.0 J¨ urgen Christ Jochen Hoenicke Add to Reading List Source URL: ultimate.informatik.uni-freiburg.de Language: English - Date: 2013-02-14 11:47:16 Video Video signal Tree Well-formed formula Mathematics Logic Mathematical logic Interpolation
54	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
55	XPath Typing Using a Modal Logic with Converse for Finite Trees Pierre Genev`es Nabil Laya¨ıda Alan Schmitt Add to Reading List Source URL: wam.inrialpes.fr Language: English - Date: 2006-12-17 11:49:32 Mathematical logic XML Formal languages Metalogic Interpretation First-order logic Well-formed formula Symbol XPath Logic Mathematics Model theory
56	Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:35:06 Logical truth Binary operations Boolean algebra Tautology Logical connective If and only if Entailment Well-formed formula Truth table Logic Propositional calculus Philosophical logic
57	Substitutional Quantifiers John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 13:16:19 Semantics Model theory Metalogic Interpretation Quasi-quotation Truth-value semantics Constructible universe Well-formed formula Quantification Logic Mathematical logic Formal languages
58	Layers and Operators Revisited Matthew Anstey 1. Introduction1 Perhaps Functional Grammar’s most distinctive feature is its extensive use of the so-called layered structure of the clause (LSC). The LSC is used as both Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2002-05-22 05:12:56 Grammar Predicate Quantification Proposition Theta role Linguistic modality Functional discourse grammar Negation Well-formed formula Logic Linguistics Semantics
59	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:05:57 Model theory Metalogic Formal languages First-order logic Predicate logic Function Constructible universe Well-formed formula Structure Logic Mathematics Mathematical logic
60	PDF Document Add to Reading List Source URL: zeszyty-naukowe.wwsi.edu.pl Language: English - Date: 2014-12-22 08:14:41 Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming